/*********************************************************
          File Name:10.31.cpp
          Author: Abby Cin
          Mail: abbytsing@gmail.com
          Created Time: Mon 14 Mar 2016 08:11:29 PM CST
**********************************************************/

#include <iostream>
#include <algorithm>
#include <iterator>
#include <vector>

int main()
{
    std::istream_iterator<int> in(std::cin), eol;
    std::ostream_iterator<int> out(std::cout, " ");

    std::vector<int> vi(in, eol);

    std::sort(vi.begin(), vi.end());

    std::unique_copy(vi.begin(), vi.end(), out);

    std::cout << "\n";

    return 0;
}
